1581. Proof, logic, and formalization
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Philosophie ; Preuve, Th?orie de la ; -Proof theory ; Logic, Symbolic and mathematical ; Logique symbolique et math?matique ; Math?matiques
1582. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: (طهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
1583. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
1584. Proofs and Fundamentals
پدیدآورنده : by Ethan D. Bloch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
1585. Proofs and algorithms
پدیدآورنده : Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
1586. Proofs and algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Algorithms. ;
1587. Proofs and algorithms an introduction to logic and computability
پدیدآورنده : Dowek, Gilles., Gilles Dowek
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
76
.
P7
D6
2011
1588. Proofs and refutations : the logic of mathematical discovery
پدیدآورنده : Lakatos, Imre, 2291-4791.
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
L35
1976
1589. Proofs and refutations: the logic of mathematical discovery
پدیدآورنده : Lakatos, Imre
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathemaics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
I34
1590. Proofs and types
پدیدآورنده : / Jean-Yves Girard
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK
1591. Propositional calculus
پدیدآورنده : By P. H. Nidditch
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical.
1592. Propositional calculus
پدیدآورنده : Nidditch, P.H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
N5
1593. Propositions, functions, and analysis : selected essays on Russell's philosophy
پدیدآورنده : Hylton, Peter
کتابخانه: (طهران)
موضوع : ، Russell, Bertrand, 2781-0791,History -- 02th century ، Analysis )Philosophy(,History -- 02th century ، Logic, Symbolic and mathematical
رده :
B
1649
.
R94H94
1594. Propositions, functions, and analysis :selected essays on Russell's philosophy
پدیدآورنده : Hylton, Peter.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Russell, Bertrand,2781-0791,History ، Analysis )Philosophy( - 02th century,History ، Logic, Symbolic and mathematical - 02th century
رده :
B1649
.
R94
H94
2005
1595. Prototractatus;
پدیدآورنده :
کتابخانه: کتابخانه دانشکده الهیات و معارف اسلامی دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical.,Language and languages
رده :
BC135
.
W5
1971
1596. Prototractatus: an early version of Tractatus logico-philosophicus
پدیدآورنده : edited by B. F. McGuinness, T. Nyberg, G. H. von Wright; with a translation [from the German] by D. F. Pears, B. F. McGuinness, an historical introduction by G. H. von Wright and a facsimile of the author's manuscript
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Language and languages
رده :
BC
135
.
W5
1971
1597. Prototractatus: an early version of tractatus logico-philosophicus.
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع : ، Logic, Symbolic And Mathematical,، Language and languaes - Philosophy
رده :
BC
135
.
W5P7
2002
1598. Pure mathematics
پدیدآورنده : / by J.K. Backhouse, S.P.T. Houldsworth and B.E.D. Cooper
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
B23
1974
1599. Purity, spectra and localisation
پدیدآورنده : Prest, Mike
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P74P8
1600. Purity, spectra and localisation /
پدیدآورنده : Mike Prest
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Logic, Symbolic and mathematical
رده :
QA150
.
P74
2009
